Validation: Conceptual versus Activity Diagram Approaches

A conceptual model is used to support development and design within the area of systems software modeling. The notion validation refers representing a domain in accurately generating results using an executable model. In UML specifications, verifies correctness diagrams against any constraints rules defined Currently, significant research has been conducted on test sets validate that conform requirements. activity are specific focus such efforts. An diagram flexible instrument for describing system’s behaviors internal logic complex operations. This paper focuses contrasts process with proposed method involves informal procedure. Accordingly, this comparing requirements specifications expressed by modeling language called thinging machine (TM) type checking requires be small enough verification done limited space or time period. method, divided into subdiagrams achieve purpose. We claim TM behavioral comes particular dispositional structure allows designer “carve” smaller components validation, which shown through two case studies.